Linear Types for Programmers
twey.io·5h·
Discuss: Hacker News
🔒Linear Types
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·10h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
A Library Approach to Constant Template Parameters
brevzin.github.io·8h·
Discuss: Hacker News, r/cpp
🦀Rust Macros
Navigating the AI Agent Ecosystem: A Comprehensive Framework Analysis
dev.to·4h·
Discuss: DEV
⚙️TLA+
http://listjs.com/
listjs.com·16h
🔗Concatenative Programming
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
👑Isabelle
Vibe coding complex changes in Rust
youtube.com·1d
🦀Rust Macros
Issue 483
haskellweekly.news·2d
🔗Functional Compilers
Show HN: List of Clojure-Like projects
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Lobsters Interview with Icefox
lobste.rs·1d·
Discuss: Lobsters
🦀Rust Macros
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
💧Liquid Types
Here's How You Can Build Your Own Markdown Parser: Part 2 - How to Read File From the Command Line
hackernoon.com·3h
📝Shell Parsing
A safer memcpy with very limited use cases
subethasoftware.com·1d
🧪Binary Fuzzing
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·2d
🎯Performance Proofs
True names matter in C++
quuxplusone.github.io·1d
💧Liquid Types
Accelerating Offensive R&D with Large Language Models
outflank.nl·2d
🔒WASM Capabilities
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
📐Format Grammars
Connect AI to microM8 Apple IIe Emulator and turtleSpaces Logo using MCP (Model Context Protocol) for ‘Vibe Coding’ and other activities…
paleotronic.com·2h
🖥️Vintage Macintosh
Generalizing over mutability in Rust
alexsaveau.dev·3d
🦀Rust Macros
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
📝Concrete Syntax